Lower and upper regularizations of frame semicontinuous real functions
نویسندگان
چکیده
منابع مشابه
Lower and Upper Regularizations of Frame Semicontinuous Real Functions
As discovered recently, Li and Wang’s 1997 treatment of semicontinuity for frames does not faithfully reflect the classical concept. In this paper we continue our study of semicontinuity in the pointfree setting. We define the pointfree concepts of lower and upper regularizations of frame semicontinuous real functions. We present characterizations of extremally disconnected frames in terms of t...
متن کاملLower Semicontinuous Functions
We define the notions of lower and upper semicontinuity for functions from a metric space to the extended real line. We prove that a function is both lower and upper semicontinuous if and only if it is continuous. We also give several equivalent characterizations of lower semicontinuity. In particular, we prove that a function is lower semicontinuous if and only if its epigraph is a closed set....
متن کاملA Note on Random Upper Semicontinuous Functions
This note aims at presenting the most general framework for a class U of random upper semicontinuous functions, namely random elements whose sample paths are upper semicontinuous (u.s.c.) functions, defined on some locally compact, Hausdorff and second countable base space, extending Matheron’s framework for random closed sets. It is shown that while the natural embedding process does not provi...
متن کاملDecomposition of Topologies Which Characterize the Upper and Lower Semicontinuous Limits of Functions
and Applied Analysis 3 The quasi-uniform space X,U will always be considered to be a topological space with the topology obtained by using as the family of all neighborhoods of a point x0 ∈ X all sets of the formU x0 {x ∈ X : x0, x ∈ U}, whereU runs overU. Such a topology is called topology of the quasi-uniformity. Note that each topology onX is induced by a quasi-uniformity see 8, 9 , the most...
متن کاملThe ring of real-valued functions on a frame
In this paper, we define and study the notion of the real-valued functions on a frame $L$. We show that $F(L) $, consisting of all frame homomorphisms from the power set of $mathbb{R}$ to a frame $ L$, is an $f$-ring, as a generalization of all functions from a set $X$ into $mathbb R$. Also, we show that $F(L) $ is isomorphic to a sub-$f$-ring of $mathcal{R}(L)$, the ring of real-valued continu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Algebra universalis
سال: 2009
ISSN: 0002-5240,1420-8911
DOI: 10.1007/s00012-009-2102-8